72 research outputs found

    Array-based logic for realizing inference engine in mobile applications

    Get PDF
    Mobile and wireless devices suffer from technological limitations such as limited battery life and limited memory size. Hence, use of technologies for mobile applications is confined to those technologies that are faster and take small footprint in memory. Firstly, this paper presents a survey of technologies that can be used for realization of inference engine, satisfying the qualities mentioned above. Secondly, this paper introduces a Scandinavian invention called Array-Based Logic that enables realization of inference engines for decision making that are compact and fast. Finally, a case study is presented to show how easy it is to use array-based logic for realizing inference engine in mobile applications

    Extracting Petri Modules From Large and Legacy Petri Net Models

    Get PDF
    Petri nets, even though very useful for modeling of discrete event systems, suffer from some weaknesses such as huge size, huge state space, and slow in simulation. Due to the huge state space, model checking a Petri net is difficult. Also, due to the slowness in simulation, discrete-timed Petri nets cannot be used for real-time applications. Thus, modular Petri nets are suggested as a way of overcoming these difficulties. In modular Petri nets, modules are designed, developed, and run independently, and the modules communicate with each other via inter-modular connectors. This approach is suggested for developing newer Petri net models. However, there exists a large number of Petri net models of real-life systems, and these legacy models are enormous and non-modular. And, these models cannot be discarded as large amounts of time and money were spent to develop these models. This paper presents a unique algorithm for extracting modules from large and legacy Petri net models. The algorithm extracts modules (known as ā€œPetri modulesā€) that are well-defined for inter-modular collaboration. Also, the extraction method preserves the structural properties. The goal of the paper is to introduce a methodology by which Petri nets can be moved to a new level in which a modular Petri net model can be made of Petri modules. The Petri modules are independent and can be hosted on different computers. These modules communicate via inter-modular components such as TCP/IP sockets. Since Petri modules are compact, also run faster, thus become suitable for supervisory control of real-time systems.publishedVersio

    Modeling Ethical Decisions

    Get PDF

    Representing Resources in Petri Net Models: Hardwiring or Soft-coding?

    Get PDF
    Ā©2011 IEEE. Reprinted, with permission, from : Reggie Davidrajuh; Representing Resources in Petri Net Models : Hardwiring or Soft-coding?, 2011 IEEE International Conference on Service Operations, Logistics, and Informatics (SOLI), 2011; Beijing, China. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Stavanger's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubsā€[email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.This paper presents an interesting design problem in developing a new tool for discrete-event dynamic systems (DEDS). A new tool known as GPenSIM was developed for modeling and simulation of DEDS; GPenSIM is based on Petri Nets. The design issue this paper talks about is whether to represent resources in DEDS hardwired as a part of the Petri net structure (which is the widespread practice) or to soft code as common variables in the program code. This paper shows that soft coding resources give benefits such as simpler and skinny models

    Identifying Micro Projects for Improvement of E-Readiness of Sri Lanka

    Get PDF
    This paper focuses on identification of micro projects for improvement of e-readiness of Sri Lanka. First, the proposed strategy by the Government of Sri Lanka is presented. Second, from the proposed strategy, requirement analysis is done to draw a set of requirements, using two approaches: a) E-readiness measurement, b) System analysis using the theory of connection. Third, from the requirements, a set of projects are identified that can improve e-readiness of Sri Lanka; though different types of projects are identified, emphasis is given to micro projects that are people-centric, low-cost, and sustainable

    Optimal Design of Wind Farm Collector System using a Novel Steiner Spanning Tree

    Get PDF
    This poster paper addresses the issue of optimal cable layout design of a wind farm collector system. The objective is to minimize the total cable length which is the sum of length of all the branches of the collector system tree. We propose a graph theoretic solution and propose improvements to cater to the constraints of wind farm collector system. The solution is based on minimum spanning tree algorithm to connect the wind turbines with the minimal trenching length. Thereafter, to further minimize the trenching length, we propose a novel Steiner tree algorithm which finds a minimal path to connect the wind turbines. Our algorithm solves the problem in polynomial time with time complexity O(V 2), since finding a minimum Steiner spanning tree is a NP-hard problem

    Estimating Salmon Price Rise Due to the Increased Presence of Lice Caused by Global Warming: A Petri Net Based Approach

    Get PDF
    This paper describes a conceptual model to estimate how global warming will lead to increased salmon aquaculture costs due to the increased presence of salmon lice (which are known to favour warmer climates). Usually, analytical models are used for this kind of simulation. However, this paper presents a Petri Net model for this purpose, with the expectation that the Petri net modules can clearly identify the different stages of the salmon aquaculture. The Petri net model also incorporates a neural network to learn from the data fed into the model. Hence, the authors present the model as a conceptual model of assistance to those who want to build advanced models. However, the simulations run with this model took an unexpectedly long time; the long simulation time makes Petri Netā€™s application for modelling this type of problems questionable.publishedVersio
    • ā€¦
    corecore